{
    type If<T extends boolean, K, U> = T extends true ? K : U;

    type testIf = If<true, 'a' , 'b'>;

    type test2If = If<false, 'a' , 'b'>
}